"Peter Ohrstrom" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Temporal Logic: From Ancient Ideas to Artificial Intelligence

Peter Ohrstrom, Per F.V. Hasle

Категория: Математика, Математическая логика

2.93 Mb

#2

Conceptual Structures: Inspiration and Application: 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21,

Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom

6.82 Mb